<?php

	$url = $_REQUEST["url"];
	$url = str_replace("url=", "", $url);
	$url = str_replace("ows&service", "ows?service", $url);
//	unset($_REQUEST["url"]);
//	$params = implode("&", $_REQUEST);
	header ("content-type: text/xml");
#	print file_get_contents($url . sprintf("?request=%s&version=%s&service=%s", $_REQUEST["request"], $_REQUEST["version"], $_REQUEST["service"] ) ); 
	print @file_get_contents( urldecode($url) ); 
?>